" Christine Paulin" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Pauline Frommer's Cancun & the Yucatan (Pauline Frommer Guides)

Christine Delsol

3.34 Mb

#2

Pauline Frommer's Cancun & the Yucatan (Pauline Frommer Guides)

Christine Delsol

3.47 Mb

#3

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99

Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

Категория: Cs_Computer science, CsLn_Lecture notes

3.53 Mb

#4

Mathematics of Program Construction, 9 conf., MPC 2008

Philippe Audebaud, Christine Paulin-Mohring

Категория: Cs_Computer science, CsLn_Lecture notes

3.57 Mb

#5

Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers

Eduardo Gimenez, Christine Paulin-Mohring

2.82 Mb

#6

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings

Philippe Audebaud, Christine Paulin-Mohring

4.43 Mb

#7

Interactive Theorem Proving and Program Development

Yves / CastTran, Pierre / Huet, Gerard (FRW) / Paulin-Mohring, Christine (FRW) Bertot

Категория: AI, knowledge

3.17 Mb